negating logical expressions